VDict mobile



modus ponens not found. Suggestions:

inference rule
resolution
natural deduction